Lambda point - PDFSEARCH.IO - Document Search Engine

Lambda point
Results: 124

#	Item
91	¯ The λλ-calculus A dual calculus for unconstrained strategies Alexis Goyet PPS, Universit´ Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2013-09-26 02:18:34 Formal methods Computability theory Lambda calculus Function Combinatory logic Fixed-point combinator Mathematics Mathematical logic Theoretical computer science
92	Operational Semantics for Multi-Language Programs Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2006-10-26 19:02:16 Computer science Functional languages Logic in computer science Models of computation Combinatory logic Fixed-point combinator ML Theoretical computer science Lambda calculus Software engineering
93	Icon programming language quick reference General conventions The comment symbol is #; comments extend to the end of the line. Numeric constants can be written in exponential notation (e.g, 1.7e-4 for 1:7 10−4 ) or Add to Reading List Source URL: infohost.nmt.edu Language: English - Date: 2003-06-30 15:16:41 Procedural programming languages Lambda calculus ALGOL 68 Comparison of programming languages Icon Function Fixed-point combinator Combinatory logic Standard ML Software engineering Computing Programming language theory
94	A Logical Basis for the D Combinator and Normal Form in CCG Frederick Hoyt and Jason Baldridge The Department of Linguistics The University of Texas at Austin {fmhoyt,jbaldrid}@mail.utexas.edu Add to Reading List Source URL: fmhoyt.colliertech.org Language: English - Date: 2011-12-12 22:35:37 Mathematical logic Lambda calculus Formal languages Combinatory categorial grammar Categorial grammar Fixed-point combinator Functor Syntax Function Mathematics Theoretical computer science Combinatory logic
95	Continuations and Transducer Composition Olin Shivers Matthew Might Georgia Tech Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Lambda calculus Functions and mappings Binary operations Combinatory logic Logic in computer science Function Convolution Fixed-point combinator Mathematics Mathematical analysis Theoretical computer science
96	Objects and their computational framework† V.E.Wolfengagen‡ arXiv:cs.LO[removed]Jun[removed]Vorotnikovsky per., 7, bld. 4 Add to Reading List Source URL: www.wolfengagen.mephi.ru Language: English - Date: 2004-02-05 01:57:51 Applied mathematics Combinatory logic Symbol Cartesian closed category Fixed-point combinator Spectral theory of ordinary differential equations Lambda calculus Theoretical computer science Mathematics
97	V. E. Wolfengagen Combinatory Logic in Programming Add to Reading List Source URL: www.wolfengagen.mephi.ru Language: English - Date: 2005-08-04 01:10:04 Mathematics Combinatory logic Models of computation Logic in computer science Fixed-point combinator Mathematical logic Lambda Parameter Applicative computing systems Theoretical computer science Lambda calculus Applied mathematics
98	lci Manual Kostas Chatzikokolakis 12 March 2006 This manual describes the use of lci, which is an advanced interpreter for the λ-calculus. This program was first developed by Kostas Chatzikokolakis Add to Reading List Source URL: lci.sourceforge.net Language: English - Date: 2006-03-13 15:27:23 Mathematical logic Recursion Computability theory Combinatory logic Logic in computer science Fixed-point combinator Associative property Operator associativity Function Mathematics Theoretical computer science Lambda calculus
99	Communications in Mathematical Physics Commun. Math. Phys. 96, [removed]t984) Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2013-12-22 12:53:28 Fixed-point combinator Lambda calculus Recursion Derivative Group action Function Convolution theorem Finite difference Mathematical analysis Mathematics Functions and mappings
100	Polymorphic Time Systems for Estimating Program Complexity Vincent Dornic 1 2 ; Pierre Jouvelot 1 3 Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Data types Theoretical computer science Lambda calculus Formal methods Type system Programming language Fixed-point combinator Recursive data type Software engineering Computing Programming language theory

UPDATE